221. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, Oberwolfach, Ger.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematical analysis, nonstandard-Congresses,Congresses ، Logic, Symbolic and mathematical
رده :
QA
300
.
S973
1970
222. Data driven treatment response assessment and preterm, perinatal, and paediatric image analysis :
پدیدآورنده : Andrew Melbourne, Roxane Licandro, Matthew DiFranco, Paolo Rota, Melanie Gau, Martin Kampel, Rosalind Aughwane, Pim Moeskops, Ernst Schwartz, Emma Robinson, Antonios Makropoulos (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Diagnostic imaging-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Health Informatics.,Image Processing and Computer Vision.,Algorithms & data structures.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Logic Design.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Medical-- General.,Program concepts-- learning to program.
رده :
RC78
.
7
.
D53
223. Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings
پدیدآورنده : Lou Goble, John-Jules Ch. Meyer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Deontic logic
رده :
QA
76
.
L28
Vol
.
4048
224. Deontic logic in computer science
پدیدآورنده : Thomas Ågotnes, Jan Broersen, Dag Elgesem (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses,Deontic logic, Congresses
رده :
QA75
.
5
.
I64
2011eb
225. Deontic logic in computer science. normative system specification /
پدیدآورنده : edited by John-Jules Ch. Meyer and Roel J. Wieringa
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer science- Congresses,، Deontic logic- Congresses
رده :
QA
75
.
5
.
D46
226. Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
پدیدآورنده : Alessio Lomuscio, Donald Nute )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Deontic logic
رده :
QA
76
.
L28
Vol
.
3065
227. Descriptional complexity of formal systems :
پدیدآورنده : edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
رده :
QA76
.
5913
D34
2019
228. Developments in language theory
پدیدآورنده : \ Igor Potapov (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages -- Congresses.,Computation by Abstract Devices.,Mathematical Logic and Formal Languages,زبانهای صوری -- کنگره ها ,منطق ریاضی و زبان های صوری
رده :
QA
267
.
3
.
D48
2015
E-Book
,
229. Directions in relevant logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Modality )Logic(-- Congresses,، Relevance )Philosophy(-- Congresses
رده :
BC
199
.
M6
.
D57
1989
230. Directions in relevant logic
پدیدآورنده : edited by Jean Norman and Richard Sylvan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Modality )Logic(,Congresses ، Relevance )Philosophy(
رده :
BC
199
.
M6D57
1989
231. Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
پدیدآورنده : Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2731
232. Dynamic logic : new trends and applications :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ;
233. Embedded systems technology :
پدیدآورنده : Yuanguo Bi, Gang Chen, Qingxu Deng, Yi Wang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Embedded computer systems, Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Embedded computer systems.,Information retrieval.,Operating systems.
رده :
TK7895
.
E42
234. English logic and semantics from the end of the twelfth century to the time of Ockham and Burleigh :
پدیدآورنده : edited by H.A.G. Braakhuis, C.H. Kneepkens, L.M. de Rijk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Medieval, Congresses.,Logique-- Grande-Bretagne, Congrès.,Logique médiévale, Congrès.,Sémantique-- Grande-Bretagne, Congrès.,Logic, Medieval.
رده :
BC34
.
E97
1979
235. English logic in Italy in the 14th and 15th centuries : acts of the 5th European Symposium on Medieval Logic and Semantics, Rome, 10-14 November 1980
پدیدآورنده : edited by Alfonso Maieru
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Italy -- History -- Congresses ، Scholasticism,England -- Influence -- Congresses ، Logic
رده :
B
722
.
I8E97
1980
236. Essays on mathematical and philosophical logic : Proceedings
پدیدآورنده : edited by Jaakko Hintikka, Ilkka Niinilouto, and Esa Saarinen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic
رده :
BC
5
.
S28
1976
237. Eurofuse 2011
پدیدآورنده : Pedro Melo-Pinto ... [et al] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Expert systems (Computer science), Congresses,Fuzzy logic, Congresses,Fuzzy mathematics, Congresses,Fuzzy systems, Congresses
رده :
QA76
.
76
.
E95
E325
2011eb
238. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
رده :
QA
76
.
63
.
I566
1995
239. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده : Michael Fisher, Richard Owens )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
رده :
QA
76
.
63
I566
1995
240. Extensions of logic programming
پدیدآورنده : E. Lamma, P. Mello, eds.
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
